Käfer um Samarkand, gesammelt von Haberhauer
نویسندگان
چکیده
منابع مشابه
Erweiterung von domänenspezifischen Sprachen um benutzerdefinierte Werttypen
Domänenspezifische Sprachen unterstützen die Modellierung von Konzepten einer bestimmten Domäne. Mit Blick auf die Formulierung von Ausdrücken beschränken sich textuelle DSLs allerdings häufig auf die Unterstützung von primitiven Typen und Aufzählungstypen. Fachliche Konzepte, wie Geldbeträge oder Postleitzahlen, die zeitund zustandslos modellierbar wären, sind nur schwer in eine DSL zu integri...
متن کاملHOLCF: eine konservative Erweiterung von HOL um LCF
t t x t x t x nicht frei in den lebenden Annahmen In Isabelle wird daraus V t t V x term Trueprop t x term t x Trueprop x t x x t x bzw in Kurzschreibweise V x term t x term t x x t x x t x Um auszudr ucken da in den Termen t und t evtl freie Variablen vorkommen werden in Isabelle Variablen vom Funktionstyp verwendet und diese im Anwendungskontext t x bzw t x geschrieben Die expliziten Typisier...
متن کاملErweiterung von Vorgehensmodellen um Aspekte der Information Governance
Das Konzept der Information Governance gewinnt immer mehr an Bedeutung, da Organisationen sicherstellen müssen, dass die ständig wachsende Menge an Unternehmensund Kundendaten ordnungsgemäß und rechtkonform aufbewahrt und fristgerecht gelöscht wird. Der Artikel analysiert Standards und Referenzmodelle im Bereich der Information Governance. Es wird ein Ansatz vorgestellt, wie sich prüfen lässt o...
متن کاملVon der "Weltausstellung im Kleinen" zum "lebenden Lehrbuch": Bildungsbezogene Komponenten früher Ansätze von Weltbibliotheken um 1900
Drei frühe Ansätze von Weltbibliotheken vor und nach der Wende zum 20. Jahrhundert werden vorgestellt: die Sammlungstätigkeit des Ethnologischen Gewerbemuseums in Aarau (Schweiz), die Aktivitäten des Chemikers Wilhelm Ostwald und der von ihm in München mitbegründeten „Brücke“, einem ”Institut für die Organisierung der geistigen Arbeit”, sowie die Aufgaben der TechnischWissenschaftliche Lehrmitt...
متن کاملSuicidal burns in Samarkand burn centers and their consequences.
Suicide is a global public health problem, particularly in Asia where few countries with large populations have high suicide rates accounting for the majority of the world's suicides. During a 14-year period, 76 individuals, aged 17 to 66 years, committed suicide from 1995 to 2008 and were included in this report. Data was collected on each patient including, age, sex, place of injury, patient ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Deutsche Entomologische Zeitschrift
سال: 1882
ISSN: 0012-0073,1860-1324
DOI: 10.1002/mmnd.48018820128